Undo the gtk_menu_popup_for_device rename-to annotation

diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index 953b0e4a620e5266f6329126927bd8039688c118..ee153384c1e25fe2f9c78ee01c9b0dbac674dc4a 100644 (file)
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -1460,7 +1460,6 @@ popup_grab_on_window (GdkWindow *window,
  * be used instead.
  *
  * Since: 3.0
- * Rename to: gtk_menu_popup
  */
 void
 gtk_menu_popup_for_device (GtkMenu             *menu,
@@ -1714,7 +1713,7 @@ gtk_menu_popup_for_device (GtkMenu             *menu,
 }
 
 /**
- * gtk_menu_popup: (skip)
+ * gtk_menu_popup:
  * @menu: a #GtkMenu
  * @parent_menu_shell: (allow-none): the menu shell containing the
  *     triggering menu item, or %NULL